Formal methods for analysis of heterogeneous models of embedded systems
نویسنده
چکیده
Technological development in micro-electronics have made digital control an indispensable component in all engineering systems. The rapid pace of development and the demands on modern systems in terms of novel functions and shorter development cycles has led to many challenges in system design and veri cation. The down side of improved functionality is the unmanaged complexity: never have we had systems built with so many di erent disciplines simultaneously at work each with their own collection of conceptual and concrete tools.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملAnalysis of Realized Volatility in Tehran Stock Exchange using Heterogeneous Autoregressive Models Approach
Objective: The present study aims atinvestigating the behavior of realized volatility for high-frequency data of Tehran Stock Index from April28th, 2012 to August 8th, 2018. Methods: Three different types of HAR models including of HAR-RV-CJ, HAR-RV and HAR-RVJ were used to analyze the Realized Volatility. Results: The obtained results of three diverse models revealed that the estimated Reali...
متن کاملTowards an Architecture-Centric Approach Dedicated to Model-Based Virtual Integration for Embedded Software Systems
Current embedded systems are increasingly more complex and heterogeneous, but they are expected to be more safe, reliable and adaptive. In consideration of all these aspects, their design is always a great challenge. Developing these systems with conventional design approaches and programming methods turns out to be difficult. In this paper, we mainly present the informative background and the ...
متن کاملVerification Methodology for Heterogeneous Hardware/Software Systems
Modern electronic systems are constituted by heterogeneous elements, e.g. hardware/software, and are typically embedded. The complexity of this kind of systems is such, that traditional validation techniques, like simulation and testing, are not enough to verify the correctness of these systems. In consequence, new formal verification techniques that overcome the limitations of traditional vali...
متن کامل